ce sont des modèles formels de requêtes sur des relations. Ce modèle est équivalent à l'algèbre relationnelle. Les quantificateurs de SQL ainsi que le langage QBE (Query By Example) sont inspirés des langages prédicatifs. Trouvé sur http://www-inf.int-evry.fr/COURS/BD/glossaire.html
Aucun résultat n’a été trouvé dans l’encyclopédie.
ce sont des modèles formels de requêtes sur des relations. Ce modèle est équivalent à l'algèbre relationnelle. Les quantificateurs de SQL ainsi que le langage QBE (Query By Example) sont inspirés des langages prédicatifs.